/*
 * Reload_Kernel.h
 *
 *  Created on: 2022-7-22
 *      Author: xuanhe
 */

#ifndef __RELOAD_KERNEL_H_
#define __RELOAD_KERNEL_H_

extern int __attribute__((section(".indata"))) __Reload_Kernel_Trim(void);

#endif /* __RELOAD_KERNEL_H_ */
